+failures(A) : A>6 <- ?myself(I); fix(I).